Some Results on the Expressive Power and Complexity of LSCs
نویسندگان
چکیده
We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a trace-based semantics and an operational semantics. The expressive power of the language is then examined by describing translations into various temporal logics. Some limitations of the language are also discussed. Finally, we survey complexity results, mainly due to Bontemps and Schobbens, regarding the use of LSCs for model checking, execution, and synthesis.
منابع مشابه
Generalized Implicit Definitions on Finite Structures
We propose a natural generalization of the concept of implicit deenitions over nite structures, allowing non-determinism at an intermediate level of a (deterministic) deenition. These generalized implicit deenitions ooer more expressive power than classical implicit dee-nitions. Moreover, their expressive power can be characterized over un-ordered nite structures in terms of the complexity clas...
متن کاملGeneralized Implicit De nitions on Finite Structures
We propose a natural generalization of the concept of im plicit de nitions over nite structures allowing non determinism at an intermediate level of a deterministic de nition These generalized im plicit de nitions o er more expressive power than classical implicit de nitions Moreover their expressive power can be characterized over un ordered nite structures in terms of the complexity class NP ...
متن کاملExpressive Power and Complexity of Partial Models for Disjunctive Deductive Databases 1
This paper investigates the expressive power and complexity of partial model semantics for disjunctive deductive databases. In particular, partial stable, regular model, maximal stable (M-stable), and least undeened stable (L-stable) semantics for function-free disjunctive logic programs are considered, for which the expressiveness of queries based on possibility and certainty inference is dete...
متن کاملAdaptive Subcarrier Assignment and Power Distribution in Multiuser OFDM Systems with Proportional Data Rate Requirement
A low complexity dynamic subcarrier and power allocation methodology for downlink communication in an OFDM-based multiuser environment is developed. The problem of maximizing overall capacity with constraints on total power consumption, bit error rate and data rate proportionality among users requiring different QOS specifications is formulated. Assuming perfect knowledge of the instantaneo...
متن کاملتحلیل عکس با گونههای زبانی
With regard to representative characteristic and communicative nature of photograph, and on the other hand, expressive and esthetic capabilities of photography, it can be stated that as human being uses language in various ways and thus creates one of the linguistic types, i.e. prose, verse, and poem, the photographer is also able to create photos with functions and qualities similar to linguis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008